Pascal Law Derivation